例句與造句

1. Type inference algorithms are typically based on unification.
2. "' J . Roger Hindley "'is a prominent British logician best known for the Hindley Milner type inference algorithm.
3. From the standpoint of programming language evolution, BitC's most important innovation is the first sound and complete type inference algorithm that handles generalized state and unboxing.
4. This is in strong contrast to many other attempts to derive type inference algorithms, which often came out to be NP-hard, if not undecidable with respect to termination.
5. It's difficult to find type inference algorithm in a sentence. 用type inference algorithm造句挺難的